|
|
Technologie tažení drátů
Štys, Michal ; Císařová, Michaela (oponent) ; Řiháček, Jan (vedoucí práce)
Práce předkládá aktuální rešerši na téma technologie tažení drátu se zamřením na rozbor činitelů procesu, jejich výpočet a vliv na průběh procesu. V rámci rešerše jsou uvedeny jednotlivé metody tažení a technologický postup tažení drátu. Práce se dále zabývá geometrií a materiály průvlaků a jejich vlivy na kvalitu procesu a opotřebení nástroje. Následně jsou rozebrány aktuálně používané stroje, shrnuty jejich výhody, nevýhody a vhodnost použití v závislosti na materiálech tažených drátů a ekonomické rentabilitě. V závěru práce jsou uvedeny nekonvenční metody tažení drátu a budoucí vývoj těchto metod.
|
|
|
Konstrukční návrh kolektoru
Podhorský, Michal ; Létal, Tomáš (oponent) ; Horsák, Libor (vedoucí práce)
Cílem této diplomové práce je provést konstrukční návrh kolektoru. Práce je rozdělena na dvě části. V první části je proveden rozbor jednotlivých částí kolektoru a jeho analytický výpočet pomocí norem EN 12 952, ČSN 69 0010 a ASME I. Druhá část práce je zaměřena na ověření analytického výpočtu pomocí metody MKP v programu ANSYS a zjištění nejvíce nebezpečných míst. Výsledkem práce je také vytvoření základní výkresové dokumentace.
|
|
|
Rozpoznávání textu v obraze
Bílek, Jan ; Žák, Pavel (oponent) ; Zuzaňák, Jiří (vedoucí práce)
Tato práce se zabývá problematikou rozpoznávání textu v obraze a těmi metodami zpracování obrazu, které rozpoznání textu napomáhají. Zvláště se zaměřuje na problematiku obrazového spamu a jeho úpravu pro rozpoznání. Popisuje metody zpracování obrazu, které vedou k takové úpravě obrazu, aby byl v něm obsažený text snadněji rozpoznatelný, a některé metody využívané pro rozpoznávání znaků. V práci je také popsán návrh a implementace systému, který zpracovává obrazový spam a detekuje v něm obsažený text.
|
|
|
Redukce nedeterministických konečných automatů
Procházka, Lukáš ; Kořenek, Jan (oponent) ; Kaštil, Jan (vedoucí práce)
Nedeterministický konečný automat je důležitým nástrojem, který se používá pro zpracování řetězců v mnoha různých oblastech programování. V rámci zvýšení efektivity programů je důležité snažit se o zmenšování jeho velikosti. Tento problém je však velmi výpočetně náročný, proto je potřeba hledat nové postupy. V této práci jsou uvedeny základy konečných automatů a poté jsou představeny různé metody zabývající se jejich redukcí. Použitelné redukční algoritmy jsou v práci podrobněji popsány, dále implementovány a otestovány. Nakonec jsou výsledky zhodnoceny.
|
|
| |
|
|
Reducing Size of Nondeterministic Automata with SAT Solvers
Šedý, Michal ; Havlena, Vojtěch (oponent) ; Holík, Lukáš (vedoucí práce)
Nondeterministic finite automata (NFA) are widely used in computer science fields, such as regular languages in formal language theory, high-speed network monitoring, image recognition, hardware modeling, or even in bioinformatic for the detection of the sequence of nucleotide acids in DNA. They are also used in regular mode checking, in string solving, in verification of pointer manipulating programs, for construction of linear arithmetic equations and inequalities, for decision in WS1S and WS2S logic, and many others. Automata minimization is a fundamental technique that helps to decrease resource claims (memory, time, or a number of hardware components) of implemented automata and speed up automata operations. Commonly used minimization techniques, such as state merging, transition pruning, and saturation, can leave potentially minimizable automaton subgraphs with duplicit language information. These fragments consist of a group of states, where the part of language of one state is piecewise covered by the other states in this group. The thesis describes a new minimization approach, which uses SAT solver, which provides information for efficient minimization of these so far nonminimizable automaton parts. Moreover, the newly investigated method, which only uses solver information and state merging, can minimize the automaton similarly and on automata with low transition count faster than a tool RABIT/Reduce, which uses state merging and transition pruning.
|
|
|
One-Sided Random Context Grammars
Zemek, Petr ; Černá, Ivana (oponent) ; Doc. In.g Petr Sosík, Dr. (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis introduces the notion of a one-sided random context grammar as a context-free-based regulated grammar, in which a set of permitting symbols and a set of forbidding symbols are attached to every rule, and its set of rules is divided into the set of left random context rules and the set of right random context rules . A left random context rule can rewrite a nonterminal if each of its permitting symbols occurs to the left of the rewritten symbol in the current sentential form while each of its forbidding symbols does not occur there. A right random context rule is applied analogically except that the symbols are examined to the right of the rewritten symbol. The thesis is divided into three parts. The first part gives a motivation behind introducing one-sided random context grammars and places all the covered material into the scientific context. Then, it gives an overview of formal language theory and some of its lesser-known areas that are needed to fully grasp some of the upcoming topics. The second part forms the heart of the thesis. It formally defines one-sided random context grammars and studies them from many points of view. Generative power, relations to other types of grammars, reduction, normal forms, leftmost derivations, generalized and parsing-related versions all belong between the studied topics. The final part of this thesis closes its discussion by adding remarks regarding its coverage. More specifically, these remarks concern application perspectives, bibliography, and open problem areas.
|
|
|
Úloha síranu železnatého jako regulátoru tuhnutí a redukčního činidla portlandského slínku
Mončeková, Miroslava ; Rovnaníková, Pavla (oponent) ; Drábik, Milan (oponent) ; Havlica, Jaromír (vedoucí práce)
V roce 2003 byla směrnicí Evropského parlamentu a Rady 2003/53/ES stanovena maximální hodnota rozpustného šestimocného chromu na 0,0002 % (vztaženo na celkovou hmotnost suchého cementu). Dodržení tohoto limitu vyžaduje úpravu standardního portlandského cementu pomocí přídavku vhodného redukčního činidla, čímž se studium možností redukce šestimocného chrómu stává velmi diskutovaným a žádaným tématem. Primárním cílem této práce je základní výzkum, který popisuje vliv síranu železnatého na redukci šestimocného chromu a současně také jeho vliv na hydratační mechanizmus samotného portlandského slínku. Redukční schopnost železnatých iontů byla ověřena UV/VIS spektrometrií. Mechanizmus a vliv síranu železnatého na hydrataci portlandského slínku byl sledován izotermickou kalorimetrií a pevnostními charakteristiky. XRD metoda, SEM-EDS analýza a Ramanská mikroskopie byly použity pro identifikaci vznikajících hydratačních produktů. Studium hydratačního mechanizmu probíhajícího v tomto systému bylo zaměřeno na sledování odchylek od běžné hydratace portlandského cementu. Důležité informace o chování chromu během hydratace (substituce resp. uvolňování) poskytla analýza pórového roztoku. Zabudování chrómu do struktury hydratačních produktů během redukčního procesu bylo sledováno v čistém systému trikalciumaluminátu s cíleným obsahem Cr6+. Tato práce poukazuje na možný mechanismus substituce třímocného i šestimocného chromu do struktury monosulfátové (AFm) fáze.
|
|
|
Vizualizace výrazů procesní algebry pi-kalkul
Prokopová, Dagmar ; Křivka, Zbyněk (oponent) ; Rychlý, Marek (vedoucí práce)
Tato práce se zabývá problémem vizualizace výrazů procesní algebry pi-kalkul. Teoretická část práce pojednává jak o obecných principech procesních algeber, tak i o specifických vlastnostech konkrétních modelů se zaměřením na procesní algebru pi-kalkul. Součástí je rovněž srovnání několika textových a grafických reprezentací výrazů. Hlavní část práce se pak zabývá návrhem a implementací aplikace pro převod textové reprezentace výrazů na grafickou. Vedle textové a grafické reprezentace byla navržena také interní stromová reprezentace určená pro práci s výrazy uvnitř aplikace. V práci jsou také popsány algoritmy pro vyhledání proveditelných redukcí, pro provedení redukce a pro zjednodušení výrazů, které pracují s navrženou stromovou reprezentací.
|
|
|
Reduction of CentOS operating system
Kluka, Peter Milan ; Jablončík, Lukáš (oponent) ; Komosný, Dan (vedoucí práce)
This thesis serves as a supporting material for the course Networking Operating Systems for the implementation of the course project. This project has an artificial goal which is to reduce the size of the operating system. The specified operating system was the Linux distribution CentOS Stream 8. The reduced system includes a graphical web browser, a PDF document viewer and is accessible via a remote SSH connection. The thesis compares sizes of required graphical frameworks and applications. Based on the analysis a set of scripts was created to automate the minimalization process. The resulting size of the reduced system was 678 MB.
|
host ::
RSS.